1. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
المؤلف: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
2. Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
المؤلف: Manfred Nagl, Andreas Schurr, Manfred Munch )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1779
3. Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers
المؤلف: John L. Pfaltz, Manfred Nagl, Boris Bohlen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
3062
4. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990: proceedings
المؤلف: S. Kaplan, M. Okada )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
516
5. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Rewriting systems )Computer science(-- Congresses
رده :
QA
267
.
C5932
1991
6. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
المؤلف: Nachum Dershowitz, Naomi Lindenstrauss )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
7. Conditional term rewriting systems
المؤلف: / S. Kaplan, J.-P. Jouannaud, eds
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Rewriting systems (Computer science)- Congresses
رده :
QA267
.
C5933
1988
8. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings
المؤلف: M. Rusinowitch, J.L. Remy )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
656
9. Conditional term rewriting systems : 1st International Workshop, Orsay, France, July 8-10, 1987: proceedings
المؤلف: S. Kaplan, J.-P. Jouannaud, eds
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
308
10. Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Rewriting systems )Computer science(-- Congresses
رده :
QA
267
.
C5933
1988
11. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
المؤلف: Jan Heering...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
816
12. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
المؤلف: Gilles Dowek ... ]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
13. Rewriting techniques and application
المؤلف: / Leo Bachmair (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses
رده :
QA
,
267
,.
R48
,
2000
14. Rewriting techniques and applications :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
15. Rewriting techniques and applications :
المؤلف: N. Dershowitz, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
16. #Rewriting techniques and applications
المؤلف: #edited by Pierre Lescanne
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses
رده :
#
QA
،#.
R48
17. Rewriting techniques and applications :
المؤلف: Harald Ganzinger (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
18. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
المؤلف: edited by Pierre Lescanne
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
19. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
المؤلف: edited by Jean-Pierre Jouannaud
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
20. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
المؤلف: N. Dershowitz, ed
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
355
